Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
161	SparsityBoost: A New Scoring Function for Learning Bayesian Network Structure Eliot Brenner,∗ David Sontag Courant Institute of Mathematical Sciences New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-05-27 23:10:39
162	A PARALLEL HYBRID GA FOR PEPTIDE 3-D STRUCTURE PREDICTION 1 Carlos A. DEL CARPIO and Shin-ichi SASAKI Add to Reading List Source URL: www.jsbi.org Language: English - Date: 1998-01-09 02:50:18 Chemistry Nature Stereochemistry Protein structure Mathematical optimization Conformational isomerism Isomerism Physical organic chemistry Genetic algorithm Transputer Dihedral angle Amino acid
163	Rev. Mat. Iberoam., 1–32 c European Mathematical Society ⃝ Dyadic structure theorems for Add to Reading List Source URL: www.math.brown.edu Language: English - Date: 2014-06-12 11:48:56
164	Nuprl's Inductive Logical Forms Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Type theory Mathematical logic Logic Hierarchy Structure Reasoning Automated theorem proving Epistemology Inductive reasoning Nuprl Logic programming
165	Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2014-06-19 17:23:20 Computability theory Mathematical logic Model theory Structure Universal algebra Reduction Symbol Sigma-algebra Decomposition of spectrum
166	Rev. Mat. Iberoam., 1–32 c European Mathematical Society ⃝ Dyadic structure theorems for Add to Reading List Source URL: www.math.brown.edu Language: English - Date: 2014-06-12 11:48:56
167	J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2008-01-31 05:33:25 Algebra Mathematics Abstract algebra Universal algebra Mathematical structures Mathematical logic Algebraic structures Magma Sigma-algebra Structure F-algebra Model theory
168	Genome Informatics 16(2): 161–A Fast Protein-Protein Docking Algorithm Using Series Expansion in Terms of Spherical Basis Functions Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2005-12-28 06:18:59 Chemistry Mathematical analysis Bioinformatics Protein structure Molecular modelling Fourier analysis Computational chemistry Docking Spherical harmonics Macromolecular docking Fourier transform
169	The VLDB Journal:103–128 DOIs00778z REGULAR PAPER Sampling from repairs of conditional functional dependency Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-05-02 10:41:42 Mathematics Mathematical logic Data modeling Functional dependency Permutation Equivalence relation Cardinal number Cardinality Tuple Subset Structure
170	Intro First-order theories Higher-order theories Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-09-16 03:38:56 Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure

UPDATE